SW-STPA: A Software Hazard Analysis Technique based on STPA
نویسندگان
چکیده
As the uses of software are various, software is germane to human's life and property. Thus, the importance of software safety increases rapidly and many hazard analysis techniques are used for safety of system/software. STAMP/STPA is an efficient hazard analysis technique for large and complex system. But subject of STAMP/STPA is system, not software. This difference of subjects makes difficulty apply STPA to small software. We propose SW-STPA to overcome the difficulties and conduct a case study. We expect that it will help safety experts when analyze causal factors of software hazards with STAMP/STPA.
منابع مشابه
Experiences with Applying STPA to Software-Intensive Systems in the Automotive Domain
Hazard analysis is one of the most important elements in developing safe-critical systems. STPA (SystemsTheoretic Process Analysis) is a modern technique based on the new accident causation model STAMP (System-Theoretic Accident Model and Process) for analyzing hazard and safety issues, which can be applied early in the design process of a system to achieve an acceptable risk level. We have app...
متن کاملOpen Tool Support for System-Theoretic Process Analysis
STPA (System-Theoretic Process Analysis) is a new hazard analysis technique which builds on STAMP, a process and accident model using concepts of system and control theory. In this paper, we present A-STPA an open tool to help transform STPA to an executable STPA which automates the activities of STPA. We develop the A-STPA tool to assist safety analysts in performing STPA. Moreover, it will gi...
متن کاملA Formal, Systematic Approach to STPA using Event-B Refinement and Proof
System-Theoretic Process Analysis (STPA) from Leveson is a technique for hazard analysis developed to identify more thoroughly the causal factors in complex safety-critical systems, including software design errors. Event-B is a proof-based modelling language and method that enables the development of specifications using a formal notion of refinement. We propose an approach to hazard analysis ...
متن کاملXSTAMPP: An eXtensible STAMP Platform As Tool Support for Safety Engineering
STPA (Systems-Theoretic Processes Analysis) is a new hazard analysis technique based on STAMP. STPA is already being used in different industrial domains (e.g. space, aviation, medical or automotive). To support the application of STPA and make using STPA more efficient, we developed an open tool called A-STPA. However, the current usage of ASTPA by safety analysts in different areas shows a nu...
متن کاملIntegrating State Machine Analysis with System-Theoretic Process Analysis
Safety becomes a critical aspect for software-intensive systems in different applications areas. Many hazard analysis techniques are proposed and used to investigate system design models to elicit hazards and design flaws. STPA (SystemTheoretic Process Analysis) is a modern hazard analysis technique, which is based on a new systems-theoretic model of accidents for large and complex systems. Wit...
متن کامل